<html>
<head><meta charset="utf-8"><title>meeting 06.30.2020 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html">meeting 06.30.2020</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="202486969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202486969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202486969">(Jun 30 2020 at 19:58)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="692">@WG-traits</span> almost meeting time :)</p>



<a name="202487003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487003">(Jun 30 2020 at 19:59)</a>:</h4>
<p>Link to agenda hackmd: <a href="https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg">https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg</a><br>
Link to sprint goals: <a href="https://hackmd.io/D_wskAmRT52zL9xmhmg0Kg">https://hackmd.io/D_wskAmRT52zL9xmhmg0Kg</a></p>



<a name="202487037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487037">(Jun 30 2020 at 19:59)</a>:</h4>
<p>agenda hackmd is a bit out of date :/</p>



<a name="202487053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487053">(Jun 30 2020 at 19:59)</a>:</h4>
<p>I've been pretty bad at keeping it updated recently</p>



<a name="202487176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487176">(Jun 30 2020 at 20:00)</a>:</h4>
<p>Yeah, I keep meaning to spend some time updating docs but haven't gotten to it</p>



<a name="202487231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487231">(Jun 30 2020 at 20:01)</a>:</h4>
<p>Last week for the sprint</p>



<a name="202487259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487259">(Jun 30 2020 at 20:01)</a>:</h4>
<p>That said, I'm not sure what we want to talk about</p>



<a name="202487271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487271">(Jun 30 2020 at 20:01)</a>:</h4>
<p>last week, we did some much needed triage</p>



<a name="202487292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487292">(Jun 30 2020 at 20:01)</a>:</h4>
<p>Maybe we can start with annoucements</p>



<a name="202487387"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487387" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487387">(Jun 30 2020 at 20:02)</a>:</h4>
<p>It was a fairly active week</p>



<a name="202487423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487423">(Jun 30 2020 at 20:02)</a>:</h4>
<p>8 merged PRs</p>



<a name="202487430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487430">(Jun 30 2020 at 20:02)</a>:</h4>
<p>One thing I wanted to talk about was our post-sprint plans</p>



<a name="202487447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487447">(Jun 30 2020 at 20:02)</a>:</h4>
<p>I think we talked about trying to take a bit of a "summer break"</p>



<a name="202487462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487462">(Jun 30 2020 at 20:02)</a>:</h4>
<p>though a few of those were last Tuesday</p>



<a name="202487497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487497">(Jun 30 2020 at 20:03)</a>:</h4>
<p>Sorry <span class="user-mention" data-user-id="125131">@detrumi</span> I didn't get around to giving you feedback btw, have that on my list</p>



<a name="202487507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487507">(Jun 30 2020 at 20:03)</a>:</h4>
<p>but we did merge the .chalk  file writer PR :)</p>



<a name="202487568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487568">(Jun 30 2020 at 20:03)</a>:</h4>
<p>woot!</p>



<a name="202487590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487590">(Jun 30 2020 at 20:03)</a>:</h4>
<p>I actually would like to go through a couple of the issues that have a code example and see if I can get a reproducing program out of them</p>



<a name="202487610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487610">(Jun 30 2020 at 20:03)</a>:</h4>
<p>(I'm not even sure if they are still issues)</p>



<a name="202487657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487657">(Jun 30 2020 at 20:04)</a>:</h4>
<p>might be useful to check on the sprint goal status</p>



<a name="202487668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487668">(Jun 30 2020 at 20:04)</a>:</h4>
<p>in terms of this meeting</p>



<a name="202487680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487680">(Jun 30 2020 at 20:04)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020/near/202487447">said</a>:</p>
<blockquote>
<p>I think we talked about trying to take a bit of a "summer break"</p>
</blockquote>
<p>I think that's a good idea</p>



<a name="202487719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487719">(Jun 30 2020 at 20:04)</a>:</h4>
<p>so one thing is that I don't know my july/august plans but I'm definitely taking at least a 2 week vacation in there</p>



<a name="202487770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487770">(Jun 30 2020 at 20:05)</a>:</h4>
<p>Should we try to plan to start a new sprint in Sept</p>



<a name="202487777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487777">(Jun 30 2020 at 20:05)</a>:</h4>
<p>we could say that we will suspend meetings until september</p>



<a name="202487797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487797">(Jun 30 2020 at 20:05)</a>:</h4>
<p>and try to continue pushing in a less structured fashion</p>



<a name="202487801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487801">(Jun 30 2020 at 20:05)</a>:</h4>
<p>that's also not a bad idea</p>



<a name="202487809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487809">(Jun 30 2020 at 20:05)</a>:</h4>
<p>That'd give us a chance to finish the current goals also</p>



<a name="202487824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487824">(Jun 30 2020 at 20:05)</a>:</h4>
<p>right, basically keep on developing plans towards current goals</p>



<a name="202487836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487836">(Jun 30 2020 at 20:05)</a>:</h4>
<p>considering the past few meetings have been somewhat adhoc</p>



<a name="202487945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487945">(Jun 30 2020 at 20:06)</a>:</h4>
<p>looking over the sprint goals...</p>



<a name="202487960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487960">(Jun 30 2020 at 20:06)</a>:</h4>
<p>we've only "finished" about half of them</p>



<a name="202487983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202487983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202487983">(Jun 30 2020 at 20:06)</a>:</h4>
<p>We might've been overly ambitious on some of them</p>



<a name="202488024"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488024" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488024">(Jun 30 2020 at 20:07)</a>:</h4>
<p>Eh</p>



<a name="202488051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488051">(Jun 30 2020 at 20:07)</a>:</h4>
<p>Yeah, so, we may have been a bit ambitious, but I think also it's a sign we may need a bit of a break to refocus :)</p>



<a name="202488056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488056">(Jun 30 2020 at 20:07)</a>:</h4>
<p>I think some are just pretty broad</p>



<a name="202488082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488082">(Jun 30 2020 at 20:07)</a>:</h4>
<p>But also there's a few that have in-progress PRs</p>



<a name="202488175"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488175" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488175">(Jun 30 2020 at 20:08)</a>:</h4>
<p>yeah, I'm getting the sense from the lack of completion on the sprint goals and lack of meeting topics that people are getting drained :)</p>



<a name="202488177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488177">(Jun 30 2020 at 20:08)</a>:</h4>
<p>I would really like to see us reformulating the skill-tree and laying out more concrete steps. I feel particularly that I'd like to see work towards the shared rustc type library but I admit I've been a bit hesitant to set people off doing big renamings and refactorings for some reason ;)</p>



<a name="202488213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488213">(Jun 30 2020 at 20:08)</a>:</h4>
<p>I guess I tink a vacation is a good idea <em>but</em> I would like to also use the time to do a bit of "recharging and prep", of course maybe's..you know..not a vacation :)</p>



<a name="202488281"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488281" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488281">(Jun 30 2020 at 20:09)</a>:</h4>
<p>I know the feeling, I'm planning to use part of my vacation to work on some chalk things <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="202488293"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488293" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488293">(Jun 30 2020 at 20:09)</a>:</h4>
<p>by vacation, you mean spending days working on chalk?</p>



<a name="202488299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488299">(Jun 30 2020 at 20:09)</a>:</h4>
<p>oof, beat me</p>



<a name="202488321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488321">(Jun 30 2020 at 20:09)</a>:</h4>
<p>well, yeah kind of :)</p>



<a name="202488369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488369">(Jun 30 2020 at 20:10)</a>:</h4>
<p>though when I said 2/3 weeks vacation I didn't mean that ;)</p>



<a name="202488402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488402">(Jun 30 2020 at 20:10)</a>:</h4>
<p>though it's definitely true sitting down to code for a few hours feels like a vacation to me :)</p>



<a name="202488418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488418">(Jun 30 2020 at 20:10)</a>:</h4>
<p>Indeed :)</p>



<a name="202488427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488427">(Jun 30 2020 at 20:10)</a>:</h4>
<p>So, we <em>could</em> go over the sprint goals</p>



<a name="202488443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488443">(Jun 30 2020 at 20:10)</a>:</h4>
<p>But I feel like we've all seen them at this point</p>



<a name="202488449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488449">(Jun 30 2020 at 20:11)</a>:</h4>
<p>yeah</p>



<a name="202488466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488466">(Jun 30 2020 at 20:11)</a>:</h4>
<p>So, maybe we should just pick a couple that are somewhat up in the air</p>



<a name="202488512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488512">(Jun 30 2020 at 20:11)</a>:</h4>
<p>I mostly want to know if the notes are up to date</p>



<a name="202488521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488521">(Jun 30 2020 at 20:11)</a>:</h4>
<p>I think so</p>



<a name="202488561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488561">(Jun 30 2020 at 20:12)</a>:</h4>
<p>the crate/structure one is a bit out of date</p>



<a name="202488602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488602">(Jun 30 2020 at 20:12)</a>:</h4>
<p>you have a tentative PR</p>



<a name="202488619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488619">(Jun 30 2020 at 20:12)</a>:</h4>
<p>let's just go but try not to get bogged down</p>



<a name="202488622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488622">(Jun 30 2020 at 20:12)</a>:</h4>
<p>and take some notes on current status</p>



<a name="202488629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488629">(Jun 30 2020 at 20:12)</a>:</h4>
<p>and <span class="user-mention" data-user-id="216206">@lcnr</span>'s forall PR</p>



<a name="202488630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488630">(Jun 30 2020 at 20:12)</a>:</h4>
<h1>chalk crate structure and publishing</h1>



<a name="202488651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488651">(Jun 30 2020 at 20:12)</a>:</h4>
<p>I think that the status here is that we are thinking of an "inverted" setup</p>



<a name="202488655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488655">(Jun 30 2020 at 20:12)</a>:</h4>
<p>and we have a preliminary prototype</p>



<a name="202488679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488679">(Jun 30 2020 at 20:12)</a>:</h4>
<p>I have to admit that while I think I favor this direction, it makes me a bit "sad"</p>



<a name="202488695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488695">(Jun 30 2020 at 20:13)</a>:</h4>
<p>in that the generic types don't show the things that are "opaque"</p>



<a name="202488711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488711">(Jun 30 2020 at 20:13)</a>:</h4>
<p><em>But</em> I still think it's right :)</p>



<a name="202488736"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488736" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488736">(Jun 30 2020 at 20:13)</a>:</h4>
<p>You mean like <code>Forest</code>?</p>



<a name="202488740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488740">(Jun 30 2020 at 20:13)</a>:</h4>
<p>and such</p>



<a name="202488842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488842">(Jun 30 2020 at 20:14)</a>:</h4>
<p>Note that this <em>does</em> also give us a clearer path forward for things like salsa wrapping for the recursive solver</p>



<a name="202488915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488915">(Jun 30 2020 at 20:15)</a>:</h4>
<p>Does it?</p>



<a name="202488931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488931">(Jun 30 2020 at 20:15)</a>:</h4>
<p>In the end I just think the generics was kind of too messy</p>



<a name="202488942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488942">(Jun 30 2020 at 20:15)</a>:</h4>
<p>beautiful in theory, annoying in practice</p>



<a name="202488955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488955">(Jun 30 2020 at 20:15)</a>:</h4>
<p>anyway, I was writing some notes in the hackmd</p>



<a name="202488963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488963">(Jun 30 2020 at 20:15)</a>:</h4>
<p>At least in my mind</p>



<a name="202488971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488971">(Jun 30 2020 at 20:15)</a>:</h4>
<p>it may, I'm not sure</p>



<a name="202488984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202488984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202488984">(Jun 30 2020 at 20:15)</a>:</h4>
<p>we did not yet do bors</p>



<a name="202489056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489056">(Jun 30 2020 at 20:16)</a>:</h4>
<p>I forgot what the status of that was</p>



<a name="202489073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489073">(Jun 30 2020 at 20:16)</a>:</h4>
<p><span class="user-mention" data-user-id="121055">@Pietro Albini</span> said we could use regular bors</p>



<a name="202489077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489077">(Jun 30 2020 at 20:16)</a>:</h4>
<p>I can't remember if <span class="user-mention" data-user-id="121055">@Pietro Albini</span> was working on that, or if there was something we needed to do</p>



<a name="202489079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489079">(Jun 30 2020 at 20:16)</a>:</h4>
<p>but I forgot to follow up with them</p>



<a name="202489107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489107">(Jun 30 2020 at 20:16)</a>:</h4>
<h1>Goal: improve caching strategy for recursive solver</h1>



<a name="202489131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489131">(Jun 30 2020 at 20:17)</a>:</h4>
<p>So, I think the status here is that we laid out a plan to handle co-induction</p>



<a name="202489137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489137">(Jun 30 2020 at 20:17)</a>:</h4>
<p>and I sketched out how salsa should work</p>



<a name="202489141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489141">(Jun 30 2020 at 20:17)</a>:</h4>
<p>but we got stuck in the question of negative cycles</p>



<a name="202489149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489149">(Jun 30 2020 at 20:17)</a>:</h4>
<p>I suspect we want to just rule them out</p>



<a name="202489182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489182">(Jun 30 2020 at 20:17)</a>:</h4>
<p>I think that's fine</p>



<a name="202489185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489185">(Jun 30 2020 at 20:17)</a>:</h4>
<p>but I still have to persuade myself by elaborating a bit more how specialization should work</p>



<a name="202489198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489198">(Jun 30 2020 at 20:17)</a>:</h4>
<p><em>but</em> I realize that this realy shouldn't stop us from moving forward</p>



<a name="202489212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489212">(Jun 30 2020 at 20:17)</a>:</h4>
<p>since it doesn't change <em>all that</em> much about how things work really, I don't think</p>



<a name="202489301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489301">(Jun 30 2020 at 20:18)</a>:</h4>
<p>Plus, it doesn't make a ton of sense to handle negative cycles in the recursive solver, since SLG doesn't handle them</p>



<a name="202489334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489334">(Jun 30 2020 at 20:18)</a>:</h4>
<p>well both or neither</p>



<a name="202489388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489388">(Jun 30 2020 at 20:19)</a>:</h4>
<p>hmm</p>



<a name="202489389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489389">(Jun 30 2020 at 20:19)</a>:</h4>
<p><strong>GAT support in rustc</strong></p>



<a name="202489413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489413">(Jun 30 2020 at 20:19)</a>:</h4>
<p>seems like lots of work here by <span class="user-mention" data-user-id="216206">@lcnr</span>  :)</p>



<a name="202489522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489522">(Jun 30 2020 at 20:20)</a>:</h4>
<p>so, lcnr did a PR, we've been talking about how to make it more beautiful</p>



<a name="202489542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489542">(Jun 30 2020 at 20:20)</a>:</h4>
<p>I <span aria-label="hearts" class="emoji emoji-2665" role="img" title="hearts">:hearts:</span> beautiful code</p>



<a name="202489578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489578">(Jun 30 2020 at 20:21)</a>:</h4>
<h1>Goal: Extracting a shared library representing types</h1>



<a name="202489584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489584">(Jun 30 2020 at 20:21)</a>:</h4>
<p>No progress?</p>



<a name="202489602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489602">(Jun 30 2020 at 20:21)</a>:</h4>
<p>basically no</p>



<a name="202489617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489617">(Jun 30 2020 at 20:21)</a>:</h4>
<p>Looking at the tracking issue, chalk is almost done but rustc work stalled?</p>



<a name="202489630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489630">(Jun 30 2020 at 20:21)</a>:</h4>
<p>yeah, but really there's more work on chalk side too</p>



<a name="202489637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489637">(Jun 30 2020 at 20:21)</a>:</h4>
<p>/me feels guilty :)</p>



<a name="202489641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489641">(Jun 30 2020 at 20:21)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020/near/202489413">said</a>:</p>
<blockquote>
<p>seems like lots of work here by <span class="user-mention silent" data-user-id="216206">lcnr</span>  :)</p>
</blockquote>
<p>In relation to GAT? I can't quite follow you here</p>



<a name="202489651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489651">(Jun 30 2020 at 20:21)</a>:</h4>
<p>Yeah, I think we just need someone to pick up the rustc side too</p>



<a name="202489655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489655">(Jun 30 2020 at 20:21)</a>:</h4>
<p>the forall-work is kind of part of GAT</p>



<a name="202489710"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489710" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489710">(Jun 30 2020 at 20:22)</a>:</h4>
<p>actually <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> has landed a number of great PRs there too that we can retcon as part of the effort ;)</p>



<a name="202489732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489732">(Jun 30 2020 at 20:22)</a>:</h4>
<p>I'm working on another now...</p>



<a name="202489738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489738">(Jun 30 2020 at 20:22)</a>:</h4>
<p>probalby he and I should touch base a bit, as I'm sure there's progress to be made and i'm not sure what exactly is on the short path</p>



<a name="202489760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489760">(Jun 30 2020 at 20:22)</a>:</h4>
<p>even better</p>



<a name="202489784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489784">(Jun 30 2020 at 20:23)</a>:</h4>
<p>That's exciting</p>



<a name="202489798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489798">(Jun 30 2020 at 20:23)</a>:</h4>
<p>... and am very sad that we don't have lazy norm because getting the normalize calls correct has been such a pain.</p>



<a name="202489832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489832">(Jun 30 2020 at 20:23)</a>:</h4>
<p>So...I've been thinking about the next thing to do in rustc...and it feels like it may be worth exploring lazy norm there again :)</p>



<a name="202489851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489851">(Jun 30 2020 at 20:23)</a>:</h4>
<p>I really just want to get chalk to work in rustc at like 90% working</p>



<a name="202489942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489942">(Jun 30 2020 at 20:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> do you want to throw some links to PRs in <a href="https://hackmd.io/D_wskAmRT52zL9xmhmg0Kg">the sprint hackmd</a> ?</p>



<a name="202489972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489972">(Jun 30 2020 at 20:24)</a>:</h4>
<p>well, 100% is the goal. But I feel like not until we hit like 90-95% working will we really get a sense of where things might be something that needs to be really thought about/decided</p>



<a name="202489977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489977">(Jun 30 2020 at 20:24)</a>:</h4>
<p>also maybe we should just rewrite that to "matthew jasper" as the "Who"</p>



<a name="202489980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202489980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202489980">(Jun 30 2020 at 20:24)</a>:</h4>
<p>:)</p>



<a name="202490045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490045">(Jun 30 2020 at 20:25)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> welcome to WG-traits :)</p>



<a name="202490055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490055">(Jun 30 2020 at 20:25)</a>:</h4>
<p>you have been drafted</p>



<a name="202490065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490065">(Jun 30 2020 at 20:25)</a>:</h4>
<p>I would say that the predicate/for-all stuff also fits on the "extract shared library" gal</p>



<a name="202490093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490093">(Jun 30 2020 at 20:26)</a>:</h4>
<p>oh, for sure</p>



<a name="202490150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490150">(Jun 30 2020 at 20:26)</a>:</h4>
<p>and maybe even fits there better, now that we are working on the refactoring of how we handle associated type bounds</p>



<a name="202490170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490170">(Jun 30 2020 at 20:26)</a>:</h4>
<p>so it's not really <em>zero</em> progress :)</p>



<a name="202490207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490207">(Jun 30 2020 at 20:26)</a>:</h4>
<p>/me moves them</p>



<a name="202490212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490212">(Jun 30 2020 at 20:26)</a>:</h4>
<p>anyway, next goal?</p>



<a name="202490213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490213">(Jun 30 2020 at 20:26)</a>:</h4>
<p>were those <code>ty.kind</code>refactors the part you were reluctant to start on?</p>



<a name="202490232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490232">(Jun 30 2020 at 20:27)</a>:</h4>
<p>yes, but I really shouldn't be</p>



<a name="202490240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490240">(Jun 30 2020 at 20:27)</a>:</h4>
<p>those steps are actually ones I think we should just do</p>



<a name="202490259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490259">(Jun 30 2020 at 20:27)</a>:</h4>
<p>they seem pretty straightforward</p>



<a name="202490274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490274">(Jun 30 2020 at 20:27)</a>:</h4>
<p>again, I think it's mostly just about someone picking them up</p>



<a name="202490278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490278">(Jun 30 2020 at 20:27)</a>:</h4>
<p>I can write-up an MCP today perhaps</p>



<a name="202490294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490294">(Jun 30 2020 at 20:28)</a>:</h4>
<p>and we can advertise it out</p>



<a name="202490345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490345">(Jun 30 2020 at 20:28)</a>:</h4>
<p>That works</p>



<a name="202490361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490361">(Jun 30 2020 at 20:28)</a>:</h4>
<p>the late-bound lifetimes and binder stuff is deeper and harder but</p>



<a name="202490392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490392">(Jun 30 2020 at 20:28)</a>:</h4>
<p>we don't have to start there :)</p>



<a name="202490398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490398">(Jun 30 2020 at 20:28)</a>:</h4>
<p>so, if there is an MCP, is it also worth maybe an issue filed?</p>



<a name="202490404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490404">(Jun 30 2020 at 20:28)</a>:</h4>
<p>(on rust-lang/rust)</p>



<a name="202490441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490441">(Jun 30 2020 at 20:29)</a>:</h4>
<p>I don't know that we did much here, though I see "tracing support" is listed under it</p>



<a name="202490442"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490442" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490442">(Jun 30 2020 at 20:29)</a>:</h4>
<h1>Goal: increase Chalk performance (very open-ended)</h1>



<a name="202490481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490481">(Jun 30 2020 at 20:29)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020/near/202490398">said</a>:</p>
<blockquote>
<p>so, if there is an MCP, is it also worth maybe an issue filed?</p>
</blockquote>
<p>yeah, I'll do that too</p>



<a name="202490483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490483">(Jun 30 2020 at 20:29)</a>:</h4>
<p>yeah, besides tracing, nothing</p>



<a name="202490492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490492">(Jun 30 2020 at 20:29)</a>:</h4>
<p>But tracing is great</p>



<a name="202490494"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490494" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490494">(Jun 30 2020 at 20:29)</a>:</h4>
<p>This seems like an interesting project that someone can pick up, now t hat tracing is in</p>



<a name="202490501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490501">(Jun 30 2020 at 20:29)</a>:</h4>
<p>I'm interested in working on moving lifetimes to be closer to Chalk's (notable, having fewer variants)</p>



<a name="202490635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490635">(Jun 30 2020 at 20:30)</a>:</h4>
<h1>Goal: Experiments</h1>



<a name="202490645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490645">(Jun 30 2020 at 20:30)</a>:</h4>
<p>I think this is just equivalence edges -- no progress there I think?</p>



<a name="202490651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490651">(Jun 30 2020 at 20:30)</a>:</h4>
<p>So, I did actually look at this a bit</p>



<a name="202490656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490656">(Jun 30 2020 at 20:30)</a>:</h4>
<p>But, 1)</p>



<a name="202490671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490671">(Jun 30 2020 at 20:31)</a>:</h4>
<p>I couldn't actually find any literature on equivalence edges</p>



<a name="202490713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490713">(Jun 30 2020 at 20:31)</a>:</h4>
<p>2) The sort of direction I wanted to take I think is blocked on sem-syn equality</p>



<a name="202490753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490753">(Jun 30 2020 at 20:31)</a>:</h4>
<p>ah yeah</p>



<a name="202490768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490768">(Jun 30 2020 at 20:32)</a>:</h4>
<p>So I then started looking at that and got blocked and ran out of time there</p>



<a name="202490856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490856">(Jun 30 2020 at 20:32)</a>:</h4>
<h1>Goal: Writing a <code>.chalk</code> file (<a href="https://github.com/rust-lang/chalk/pull/430">draft PR</a>)</h1>



<a name="202490865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490865">(Jun 30 2020 at 20:32)</a>:</h4>
<p>landed initial prototype</p>



<a name="202490875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490875">(Jun 30 2020 at 20:32)</a>:</h4>
<p>Yes</p>



<a name="202490890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490890">(Jun 30 2020 at 20:32)</a>:</h4>
<p>I think this is pretty functional</p>



<a name="202490912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490912">(Jun 30 2020 at 20:33)</a>:</h4>
<p>There are some followup items</p>



<a name="202490928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490928">(Jun 30 2020 at 20:33)</a>:</h4>
<p>is it 'integrated' into rust-analyzer?</p>



<a name="202490937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490937">(Jun 30 2020 at 20:33)</a>:</h4>
<p>But it looks pretty usable</p>



<a name="202490945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490945">(Jun 30 2020 at 20:33)</a>:</h4>
<p>Nope</p>



<a name="202490954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490954">(Jun 30 2020 at 20:33)</a>:</h4>
<p>I mean</p>



<a name="202490968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490968">(Jun 30 2020 at 20:33)</a>:</h4>
<p>that seems like a good next step, and/or writing up how to use it in that context</p>



<a name="202490990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202490990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202490990">(Jun 30 2020 at 20:33)</a>:</h4>
<p>Once rust-analyzer updates, there's a few `<em>_name</em> functions to implement</p>



<a name="202491032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491032">(Jun 30 2020 at 20:34)</a>:</h4>
<p>And they'll have to use the <code>LoggingRustIrDatabase</code> somewhere</p>



<a name="202491083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491083">(Jun 30 2020 at 20:34)</a>:</h4>
<p>ok.</p>



<a name="202491095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491095">(Jun 30 2020 at 20:34)</a>:</h4>
<p>I can talk with <span class="user-mention" data-user-id="129457">@Florian Diebold</span> sometime</p>



<a name="202491109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491109">(Jun 30 2020 at 20:34)</a>:</h4>
<p>I'm excited about this :)</p>



<a name="202491146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491146">(Jun 30 2020 at 20:34)</a>:</h4>
<p>yeah, sounds really useful for tracking bugs and performance issues</p>



<a name="202491153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491153">(Jun 30 2020 at 20:35)</a>:</h4>
<h1>Goal: improve opaque types support</h1>



<a name="202491164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491164">(Jun 30 2020 at 20:35)</a>:</h4>
<p>No movement on PRs :)</p>



<a name="202491197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491197">(Jun 30 2020 at 20:35)</a>:</h4>
<p>I've gotten mostly stuck on that</p>



<a name="202491224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491224">(Jun 30 2020 at 20:35)</a>:</h4>
<p>Sounds like just waiting on <span class="user-mention" data-user-id="116009">@nikomatsakis</span>'s comments :)</p>



<a name="202491299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491299">(Jun 30 2020 at 20:36)</a>:</h4>
<p>:'(</p>



<a name="202491303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491303">(Jun 30 2020 at 20:36)</a>:</h4>
<h1>Goal: extend chalk to support Rust semantics</h1>



<a name="202491341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491341">(Jun 30 2020 at 20:36)</a>:</h4>
<p><span class="user-mention" data-user-id="125294">@Aaron Hill</span> is working on generators, I think</p>



<a name="202491345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491345">(Jun 30 2020 at 20:36)</a>:</h4>
<p>seems like we made quite good progrss here</p>



<a name="202491347"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491347" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491347">(Jun 30 2020 at 20:36)</a>:</h4>
<p>overall</p>



<a name="202491363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491363">(Jun 30 2020 at 20:36)</a>:</h4>
<p>Adt PR, I didn't merge, since I guess it needs tests for auto semantics</p>



<a name="202491366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491366">(Jun 30 2020 at 20:36)</a>:</h4>
<p>I'm almost ready to open up my generator pr</p>



<a name="202491375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491375">(Jun 30 2020 at 20:36)</a>:</h4>
<p>sorry that it's taken so long</p>



<a name="202491381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491381">(Jun 30 2020 at 20:37)</a>:</h4>
<p>but yeah, overall great progress</p>



<a name="202491386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491386">(Jun 30 2020 at 20:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="125294">Aaron Hill</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020/near/202491375">said</a>:</p>
<blockquote>
<p>sorry that it's taken so long</p>
</blockquote>
<p>no worries <span aria-label="hearts" class="emoji emoji-2665" role="img" title="hearts">:hearts:</span></p>



<a name="202491398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491398">(Jun 30 2020 at 20:37)</a>:</h4>
<p>Cool, people on the rust-analyzer side were asking for that, to support async blocks I think</p>



<a name="202491404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491404">(Jun 30 2020 at 20:37)</a>:</h4>
<p>Sorry - I was planning to finish up this week but covid has really been a nightmare the last couple of weeks</p>



<a name="202491405"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491405" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491405">(Jun 30 2020 at 20:37)</a>:</h4>
<p>And I've been working on the subtype PR</p>



<a name="202491440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491440">(Jun 30 2020 at 20:37)</a>:</h4>
<p>If someone could help me out by writing down a definitive list of tests or something it would be massively appreciated</p>



<a name="202491450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491450">(Jun 30 2020 at 20:37)</a>:</h4>
<p>I should have that done by the end of the week, assuming I don't run into anything unexpected</p>



<a name="202491523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491523">(Jun 30 2020 at 20:38)</a>:</h4>
<p><span class="user-mention" data-user-id="225949">@Nathan Corbyn</span> sure, I'll comment on the PR</p>



<a name="202491557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Corbyn <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491557">(Jun 30 2020 at 20:38)</a>:</h4>
<p>Thank you so much</p>



<a name="202491581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491581">(Jun 30 2020 at 20:38)</a>:</h4>
<p>Thank <em>you</em>!</p>



<a name="202491626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nathan Whitaker <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491626">(Jun 30 2020 at 20:39)</a>:</h4>
<p>I've been doing some work on <code>TypeOutlives</code> also, I should be able to open a PR once I get <a href="https://github.com/rust-lang-nursery/chalk/issues/543">chalk#543</a> done and merged</p>



<a name="202491628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491628">(Jun 30 2020 at 20:39)</a>:</h4>
<p>the rustc types are now connected to buildin types, right <span class="user-mention" data-user-id="232957">@Jack Huey</span> ?</p>



<a name="202491649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491649">(Jun 30 2020 at 20:39)</a>:</h4>
<p>On the rustc integration side, I think all the types that we have are conected</p>



<a name="202491656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491656">(Jun 30 2020 at 20:39)</a>:</h4>
<p>yes</p>



<a name="202491775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491775">(Jun 30 2020 at 20:40)</a>:</h4>
<p>So yeah, excellent progress</p>



<a name="202491826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491826">(Jun 30 2020 at 20:40)</a>:</h4>
<h1>Goal: Handle region constraints in rustc integration</h1>



<a name="202491847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491847">(Jun 30 2020 at 20:41)</a>:</h4>
<p>I'm going to be honest, I have no clue what this was supposed to be</p>



<a name="202491871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491871">(Jun 30 2020 at 20:41)</a>:</h4>
<p><code>LifetimeOutlives</code> and <code>TypeOutlives</code>?</p>



<a name="202491905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491905">(Jun 30 2020 at 20:41)</a>:</h4>
<p>(having some hackmd connectivity issues here)</p>



<a name="202491955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202491955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202491955">(Jun 30 2020 at 20:41)</a>:</h4>
<p>I believe this was supposed to be :</p>



<a name="202492010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492010">(Jun 30 2020 at 20:42)</a>:</h4>
<ul>
<li>translating lifetime-outlives, type-outlives goals</li>
</ul>



<a name="202492034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492034">(Jun 30 2020 at 20:42)</a>:</h4>
<ul>
<li>and extending <em>chalk</em> to report those constraints back to rustc and then having rustc translate them to actual region constraints</li>
</ul>



<a name="202492039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492039">(Jun 30 2020 at 20:42)</a>:</h4>
<p>okay, lifetime outlives is translating</p>



<a name="202492048"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492048" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492048">(Jun 30 2020 at 20:42)</a>:</h4>
<p>ohh</p>



<a name="202492099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492099">(Jun 30 2020 at 20:42)</a>:</h4>
<p>yeah, basically anything to do with translating things back, unless it's ints or floats doesn't work</p>



<a name="202492144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492144">(Jun 30 2020 at 20:43)</a>:</h4>
<p>but lifetimes and params will be exceptionally hard since they're handling specially</p>



<a name="202492160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492160">(Jun 30 2020 at 20:43)</a>:</h4>
<h1>Goal: const generics and chalk</h1>



<a name="202492169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492169">(Jun 30 2020 at 20:43)</a>:</h4>
<p>nothing new here I don't think</p>



<a name="202492272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492272">(Jun 30 2020 at 20:44)</a>:</h4>
<p>We don't have an issue filed for these...</p>



<a name="202492276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492276">(Jun 30 2020 at 20:44)</a>:</h4>
<p>I'm gonna do that</p>



<a name="202492313"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492313" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492313">(Jun 30 2020 at 20:44)</a>:</h4>
<p>But I don't think it's blocking anything either</p>



<a name="202492348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492348">(Jun 30 2020 at 20:45)</a>:</h4>
<p>in the short term</p>



<a name="202492351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492351">(Jun 30 2020 at 20:45)</a>:</h4>
<p>nope</p>



<a name="202492444"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492444" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492444">(Jun 30 2020 at 20:45)</a>:</h4>
<h1>Goal: semantic vs syntactic equality</h1>



<a name="202492456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492456">(Jun 30 2020 at 20:45)</a>:</h4>
<p>No progress</p>



<a name="202492546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492546">(Jun 30 2020 at 20:46)</a>:</h4>
<p>I haven't heard much from <span class="user-mention" data-user-id="251766">@Areredify</span>, presumably they got busy</p>



<a name="202492559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492559">(Jun 30 2020 at 20:46)</a>:</h4>
<p>Probably</p>



<a name="202492561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492561">(Jun 30 2020 at 20:46)</a>:</h4>
<p>(sorry, got called afk for a bit)</p>



<a name="202492595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492595">(Jun 30 2020 at 20:47)</a>:</h4>
<p>I might just take a look at the sem-syn PR again after subtyping is finished</p>



<a name="202492603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492603">(Jun 30 2020 at 20:47)</a>:</h4>
<p>I might reach out privately, this might be a good project to try and recruit for others if they're busy</p>



<a name="202492624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492624">(Jun 30 2020 at 20:47)</a>:</h4>
<p>that works too</p>



<a name="202492717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492717">(Jun 30 2020 at 20:48)</a>:</h4>
<h1>Goal: Document solver details in the Chalk book</h1>



<a name="202492763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492763">(Jun 30 2020 at 20:48)</a>:</h4>
<p>I don't think the open points are really relevant any more?</p>



<a name="202492777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492777">(Jun 30 2020 at 20:48)</a>:</h4>
<p>mmm, I still think so</p>



<a name="202492780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492780">(Jun 30 2020 at 20:48)</a>:</h4>
<p>I think btw re: region/lifetime solving we can integrate that work into "extend chalk to support rust semantics" goal</p>



<a name="202492806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492806">(Jun 30 2020 at 20:48)</a>:</h4>
<p>(I'm sort of editing the doc to get it in shape to serve as our "sprint summary")</p>



<a name="202492818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492818">(Jun 30 2020 at 20:48)</a>:</h4>
<p>I feel like just adding a section into the glossary like "common syntax"</p>



<a name="202492825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492825">(Jun 30 2020 at 20:48)</a>:</h4>
<p>(well, i'll just add a few things)</p>



<a name="202492842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492842">(Jun 30 2020 at 20:49)</a>:</h4>
<p>I have a question:</p>



<a name="202492843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492843">(Jun 30 2020 at 20:49)</a>:</h4>
<div class="codehilite"><pre><span></span><code>* [ ] Auto trait handling for builtin chalk types
</code></pre></div>



<a name="202492854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492854">(Jun 30 2020 at 20:49)</a>:</h4>
<p>this is an open bullet from earlier, what's the status here? is there  a chalk issue?</p>



<a name="202492893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492893">(Jun 30 2020 at 20:49)</a>:</h4>
<p>No chalk issue :/</p>



<a name="202492968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202492968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202492968">(Jun 30 2020 at 20:50)</a>:</h4>
<p>We should open one</p>



<a name="202493005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493005">(Jun 30 2020 at 20:50)</a>:</h4>
<p>would that be a table-style tracking issue?</p>



<a name="202493042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493042">(Jun 30 2020 at 20:51)</a>:</h4>
<ul>
<li>Goal: Handle region constraints in rustc integration<br>
    * <strong>Who?</strong> Jack<br>
    * We integrated lifetime-outlives goals into chalk and are working on making the mechanism more elegant in <a href="https://github.com/rust-lang/chalk/pull/543">#538</a>.<br>
    * We need to extend rustc to translate the chalk region constraints back into rustc region constraints.</li>
</ul>



<a name="202493046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493046">(Jun 30 2020 at 20:51)</a>:</h4>
<p>Honestly, I don't see any reason they all can't be done in one PR</p>



<a name="202493057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493057">(Jun 30 2020 at 20:51)</a>:</h4>
<p>Oh wait, we have this: <a href="https://rust-lang.github.io/chalk/book/clauses/well_known_traits.html#current-state">https://rust-lang.github.io/chalk/book/clauses/well_known_traits.html#current-state</a></p>



<a name="202493058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493058">(Jun 30 2020 at 20:51)</a>:</h4>
<p>(right?)</p>



<a name="202493085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493085">(Jun 30 2020 at 20:51)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> looks good :)</p>



<a name="202493152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493152">(Jun 30 2020 at 20:52)</a>:</h4>
<p>whoops, I apparently did not update that table in the closure PR</p>



<a name="202493158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493158">(Jun 30 2020 at 20:52)</a>:</h4>
<p><span aria-label="face palm" class="emoji emoji-1f926" role="img" title="face palm">:face_palm:</span>‍♀️</p>



<a name="202493184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493184">(Jun 30 2020 at 20:52)</a>:</h4>
<p>well, at least you got reminded now</p>



<a name="202493229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493229">(Jun 30 2020 at 20:52)</a>:</h4>
<p>regarding const generics --</p>



<a name="202493233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493233">(Jun 30 2020 at 20:52)</a>:</h4>
<p>is that integrated with rustc at all?</p>



<a name="202493243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493243">(Jun 30 2020 at 20:53)</a>:</h4>
<p>yes</p>



<a name="202493283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493283">(Jun 30 2020 at 20:53)</a>:</h4>
<p>Tests for it are lacking I think</p>



<a name="202493310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493310">(Jun 30 2020 at 20:53)</a>:</h4>
<p>but like arrays do lower the const len</p>



<a name="202493428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493428">(Jun 30 2020 at 20:55)</a>:</h4>
<p>for sem-syn equality, the next step I think <span class="user-mention" data-user-id="251766">@Areredify</span>  and I had in mind was <a href="https://github.com/rust-lang/chalk/issues/512">https://github.com/rust-lang/chalk/issues/512</a></p>



<a name="202493436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493436">(Jun 30 2020 at 20:55)</a>:</h4>
<p>which is kind of a cleanup/refactoring</p>



<a name="202493504"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493504" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493504">(Jun 30 2020 at 20:55)</a>:</h4>
<p>OK, well, this was helpful</p>



<a name="202493514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493514">(Jun 30 2020 at 20:56)</a>:</h4>
<p>we actually did a heck of a lot this sprint it seems ;)</p>



<a name="202493577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493577">(Jun 30 2020 at 20:56)</a>:</h4>
<p>though I'm kind of forgetting what happened during each sprint</p>



<a name="202493586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493586">(Jun 30 2020 at 20:56)</a>:</h4>
<p>Oh, for sure we got a lot accomplished</p>



<a name="202493614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493614">(Jun 30 2020 at 20:56)</a>:</h4>
<p>not sure what to do about next week</p>



<a name="202493628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493628">(Jun 30 2020 at 20:56)</a>:</h4>
<p>But indeed, I think we were a bit too ambitious with some goals</p>



<a name="202493634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493634">(Jun 30 2020 at 20:56)</a>:</h4>
<p>So, next week</p>



<a name="202493657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493657">(Jun 30 2020 at 20:57)</a>:</h4>
<p>I think can just be another sprint recap</p>



<a name="202493667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493667">(Jun 30 2020 at 20:57)</a>:</h4>
<p>But</p>



<a name="202493687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493687">(Jun 30 2020 at 20:57)</a>:</h4>
<p>I don't think we need a full meeting</p>



<a name="202493702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493702">(Jun 30 2020 at 20:57)</a>:</h4>
<p>But I'll be around</p>



<a name="202493719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493719">(Jun 30 2020 at 20:57)</a>:</h4>
<p>And write up a blog post</p>



<a name="202493735"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493735" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493735">(Jun 30 2020 at 20:57)</a>:</h4>
<p>so I'll sort of go through things here</p>



<a name="202493736"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493736" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493736">(Jun 30 2020 at 20:57)</a>:</h4>
<p>ah right, yeah that's a good idea</p>



<a name="202493810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493810">(Jun 30 2020 at 20:58)</a>:</h4>
<p>That is, unless anybody <em>wants</em> to have a meeting for something</p>



<a name="202493832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493832">(Jun 30 2020 at 20:58)</a>:</h4>
<p>I think taht all sounds good</p>



<a name="202493844"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493844" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493844">(Jun 30 2020 at 20:58)</a>:</h4>
<p>this was helpful for highlighting a few areas that are stuck</p>



<a name="202493869"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493869" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493869">(Jun 30 2020 at 20:58)</a>:</h4>
<p>Let's plan to pick back up on regularly meetings Sept. 1st</p>



<a name="202493873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493873">(Jun 30 2020 at 20:58)</a>:</h4>
<p>I feel like these kind of survey meetings are really useful to me, I wonder if there are ways to make them more efficient</p>



<a name="202493886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493886">(Jun 30 2020 at 20:58)</a>:</h4>
<p>(or around there)</p>



<a name="202493896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493896">(Jun 30 2020 at 20:59)</a>:</h4>
<p>or if they're just fine as they are :)</p>



<a name="202493913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493913">(Jun 30 2020 at 20:59)</a>:</h4>
<p>I think they're really helpful, yeah</p>



<a name="202493917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493917">(Jun 30 2020 at 20:59)</a>:</h4>
<p>seems fine, it's not like we overshot the timebox</p>



<a name="202493932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493932">(Jun 30 2020 at 20:59)</a>:</h4>
<p>I also find them inspirational</p>



<a name="202493939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493939">(Jun 30 2020 at 20:59)</a>:</h4>
<p>without pre-planning, I don't know if there's more to do</p>



<a name="202493943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493943">(Jun 30 2020 at 20:59)</a>:</h4>
<p>so they're useful in two ways :)</p>



<a name="202493967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493967">(Jun 30 2020 at 20:59)</a>:</h4>
<p>btw, amybe a silly idea but...</p>



<a name="202493981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493981">(Jun 30 2020 at 20:59)</a>:</h4>
<p>I wonder if it'd be useful to make labels for our sprint goals</p>



<a name="202493988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493988">(Jun 30 2020 at 20:59)</a>:</h4>
<p>and then tag PRs and issues with those labels?</p>



<a name="202493989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202493989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202493989">(Jun 30 2020 at 20:59)</a>:</h4>
<p>Plus, we always seem to find things where we haven't filed issues or things like that</p>



<a name="202494057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494057">(Jun 30 2020 at 21:00)</a>:</h4>
<p>i.e., so that we could like review "what is the set of PRs that landed related to X"</p>



<a name="202494072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494072">(Jun 30 2020 at 21:00)</a>:</h4>
<p>So, I've thought about that</p>



<a name="202494081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494081">(Jun 30 2020 at 21:00)</a>:</h4>
<p>We'd have to tone down the number of goals a bit, I think</p>



<a name="202494090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494090">(Jun 30 2020 at 21:00)</a>:</h4>
<p>well, less about post-review</p>



<a name="202494092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494092">(Jun 30 2020 at 21:00)</a>:</h4>
<p>that...might be a good idea regardless</p>



<a name="202494104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494104">(Jun 30 2020 at 21:00)</a>:</h4>
<p>although labels are cheap :)</p>



<a name="202494142"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494142" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494142">(Jun 30 2020 at 21:00)</a>:</h4>
<p>anyway leave it aside for now</p>



<a name="202494151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494151">(Jun 30 2020 at 21:01)</a>:</h4>
<p>It's not a terrible idea :)</p>



<a name="202494217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494217">(Jun 30 2020 at 21:01)</a>:</h4>
<p>heh, that just makes it sound like a bad idea</p>



<a name="202494235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494235">(Jun 30 2020 at 21:01)</a>:</h4>
<p>has anyone looked at <a href="https://github.com/rust-lang/chalk/graphs/code-frequency">https://github.com/rust-lang/chalk/graphs/code-frequency</a></p>



<a name="202494301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494301">(Jun 30 2020 at 21:02)</a>:</h4>
<p>it's super interesting to look at the uptick in activity since we started the sprints</p>



<a name="202494337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494337">(Jun 30 2020 at 21:02)</a>:</h4>
<p>I wish you could zoom in</p>



<a name="202494378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494378">(Jun 30 2020 at 21:02)</a>:</h4>
<p>It's even more clear in <a href="https://github.com/rust-lang/chalk/graphs/commit-activity">https://github.com/rust-lang/chalk/graphs/commit-activity</a></p>



<a name="202494484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494484">(Jun 30 2020 at 21:04)</a>:</h4>
<p>Nice to see the sustained progress lately</p>



<a name="202494620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494620">(Jun 30 2020 at 21:05)</a>:</h4>
<p>Just wanted to thank all of <span class="user-group-mention" data-user-group-id="692">@WG-traits</span> again for all of your hard work the past few months :)</p>



<a name="202494850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%2006.30.2020/near/202494850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.2006.2E30.2E2020.html#202494850">(Jun 30 2020 at 21:07)</a>:</h4>
<p>(Rather than labels, another option would be to use GH Projects or to use Milestones)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>